metrizable topological space

[数] 可度量化的拓扑空间